$\forall$$T$:Type, ${\it eq}$:EqDecider($T$), $a$, $b$, $c$:($T$ List).
\\[0ex](l\_disjoint($T$;$a$;$b$) $\vee$ l\_disjoint($T$;$a$;$c$)) $\Rightarrow$ l\_disjoint($T$;$a$;l\_intersection(${\it eq}$;$b$;$c$))